منابع مشابه
On the Multi-Dimensional Controller and Stopper Games
We consider a zero-sum stochastic differential controller-and-stopper game in which the state process is a controlled diffusion evolving in a multi-dimensional Euclidean space. In this game, the controller affects both the drift and the volatility terms of the state process. Under appropriate conditions, we show that the game has a value and the value function is the unique viscosity solution t...
متن کاملMulti-issue Allocation Games
This paper introduces a new class of transferable-utility games, called multi-issue allocation games. These games arise from various allocation situations and are based on the concepts underlying the bankruptcy model, as introduced by O'Neill (1982). In this model, a perfectly divisible good (estate) has to be divided amongst a given set of agents, each of whom has some claim on the estate. Con...
متن کاملRepairing Multi-Player Games
Synthesis is the automated construction of systems from their specifications. Modern systems often consist of interacting components, each having its own objective. The interaction among the components is modeled by a multi-player game. Strategies of the components induce a trace in the game, and the objective of each component is to force the game into a trace that satisfies its specification....
متن کاملMastering multi-player games
We consider multi-player games, and the guarantees that a master player that plays on behalf of a set of players can offer them, without making any assumptions on the rationality of the other players. Our model consists of an (n + 1)-player game, with m strategies per player, in which a master player M forms a coalition with nontransferable utilities among n players, and the remaining player is...
متن کاملPRISM-games: A Model Checker for Stochastic Multi-Player Games
We present PRISM-games, a model checker for stochastic multi-player games, which supports modelling, automated verification and strategy synthesis for probabilistic systems with competitive or cooperative behaviour. Models are described in a probabilistic extension of the Reactive Modules language and properties are expressed using rPATL, which extends the well-known logic ATL with operators to...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: SSRN Electronic Journal
سال: 2009
ISSN: 1556-5068
DOI: 10.2139/ssrn.1327729